monotonic abduction

单调诱导